cd ../tests3
./test_all_cnfs_2.sh
cd ../tests2
./test_all_cnfs_2.sh
